* make-dist: There are no more src/m/*.inp files.

diff --git a/ChangeLog b/ChangeLog
index fb5e5e45484152e0d0be49c12b5f6c5d61b067c9..7121d67843d0a83218c4f5d7bff3e03d563633ac 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2010-05-03  Glenn Morris  <rgm@gnu.org>
+
+       * make-dist: There are no more src/m/*.inp files.
+
 2010-05-01  Dan Nicolaescu  <dann@ics.uci.edu>
 
        * configure.in (LD_SWITCH_MACHINE, ld_switch_machine): Remove, unused.

diff --git a/make-dist b/make-dist
index a5c600ab37e2bf22b8e0d19df38056ccb66ea9ed..897301e6ce7992a45540185070b00afe9127f315 100755 (executable)
--- a/make-dist
+++ b/make-dist
@@ -469,8 +469,7 @@ echo "Making links to \`src/bitmaps'"
 
 echo "Making links to \`src/m'"
 (cd src/m
- # We call files for miscellaneous input (to linker etc) .inp.
- ln README [a-zA-Z0-9]*.h *.inp ../../${tempdir}/src/m)
+ ln README [a-zA-Z0-9]*.h ../../${tempdir}/src/m)
 
 echo "Making links to \`src/s'"
 (cd src/s